VDict mobile



finitely computable not found. Suggestions:

axiomatic semantics
Banach-Tarski paradox
Logic for Computable Functions
LCF
computable
Comma
complexity class
effective computable
Pop-11
computability theory